A Post-Placement Side-Effect Removal Algorithm
نویسندگان
چکیده
Side-effects are widely believed to impede program comprehension and have a detrimental effect upon software maintenance. This paper introduces an algorithm for side-effect removal which splits the side-effects into their pure expression meaning and their state-changing meaning. Symbolic execution is used to determine the expression meaning, while transformation is used to place the statechanging part in a suitable location in a transformed version of the program. This creates a program which is semantically equivalent to the original but guaranteed to be free from side-effects. The paper also reports the results of an empirical study which demonstrates that the application of the algorithm causes a significant improvement in program comprehension.
منابع مشابه
Discrete Multi Objective Particle Swarm Optimization Algorithm for FPGA Placement (RESEARCH NOTE)
Placement process is one of the vital stages in physical design. In this stage, modules and elements of circuit are placed in distinct locations according to optimization basis. So that, each placement process tries to influence on one or more optimization factor. In the other hand, it can be told unequivocally that FPGA is one of the most important and applicable devices in our electronic worl...
متن کاملEffect of Post-Space Preparation on Apical Seal of Endodontically Treated Teeth
ABSTRACT By restoration of pulpally exposed teeth with root canal therapy edentulous areas and neighbouring teeth displacement can be avoided. Prefabricated posts may be used for crown restoration of these teeth. For the preparation of root canal for post placement, Gutta percha should be removed by means of mechanical, thermal and chemical agents. To study the amount of apical leakage in vit...
متن کاملVISCOUS DAMPER PLACEMENT OPTIMIZATION IN CONCRETE STRUCTURES USING COLLIDING BODIES ALGORITHM AND STORY DAMAGE INDEX
Dampers can reduce structural response under dynamic loads. Since dampers are costly, the design of structures equipped with dampers should make their application economically justifiable. Among the effective cost reduction factors is optimal damper placement. Hence, this study intended to find the optimal viscous damper placement using efficient optimization methods. Taking into account the no...
متن کاملAn Extremal Optimization approach to parallel resonance constrained capacitor placement problem
Installation of capacitors in distribution networks is one of the most used procedure to compensate reactive power generated by loads and, consequently, to reduce technical losses. So, the problem consists in identifying the optimal placement and sizing of capacitors. This problem is known in the literature as optimal capacitor placement problem. Neverthless, depending on the location and size ...
متن کاملOptimal Placement of DGs in Distribution System including Different Load Models for Loss Reduction using Genetic Algorithm
Distributed generation (DG) sources are becoming more prominent in distribution systems due to the incremental demands for electrical energy. Locations and capacities of DG sources have great impacts on the system losses in a distribution network. This paper presents a study aimed for optimally determining the size and location of distributed generation units in distribution systems with differ...
متن کامل